... logical algebra 逻辑代数 logical axiom 逻辑公理 logical checking 逻辑检验 ...
基于40个网页-相关网页
·2,447,543篇论文数据,部分数据来源于NoteExpress
The supremum axiom of the reals refers to subsets of the reals and is therefore a second-order logical statement.
实数集的上确界公理用到了实数集的子集,这是一种二阶逻辑的陈述。
youdao
应用推荐
模块上移
模块下移
不移动